Brig. Gen. Patricia A. Frost Deputy Commander for Operations, U.S. Army Cyber Command and Second Army BG Frost is from The Woodlands, Texas. She received her commission after graduating as a Distinguished Military Gradua

Source URL: www.arcyber.army.mil

• Recipients of the Legion of Merit
• United States Army Cyber Command
• Military Intelligence Corps
• United States Cyber Command
• United States Army
• 82nd Airborne Division
• John Kimmons
• Patrick M. Hughes

Type Specialisation for the -calculus John Hughes Department of Computer Science, Chalmers Technical University, SGoteborg,

Source URL: repository.readscheme.org

• Type theory
• Procedural programming languages
• Data types
• Type systems
• Lambda calculus
• Eval
• Type inference
• ALGOL 68
• Let expression
• Standard ML

QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen John Hughes

Source URL: www.eecs.northwestern.edu

• Software engineering
• Computer programming
• Functional languages
• Software testing
• Functional programming
• QuickCheck
• Random testing
• Literate programming
• Procedural programming languages
• Monad
• Test data generation
• Haskell

To appear in Proceedings of NPARHarold: A World Made of Drawings Jonathan M. Cohen and John F. Hughes and Robert C. Zeleznik Department of Computer Science Box 1910 Brown University, Providence, RI 02912

Source URL: www.jcohen.name

From “Research Topics in Functional Programming” ed. D. Turner, Addison-Wesley, 1990, pp 17–42. Why Functional Programming Matters John Hughes

Source URL: www.cs.kent.ac.uk

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Higher-order functions
• Programming language comparisons
• Lisp
• Fold
• Cons
• Append
• List

[Hilbert] Stephen Hilbert, John Maceli, Eric Robinson, Diane Driscoll Schwartz, and Stan Seltzer, Calculus, An Active Approach with Projects, John Wiley & Sons, New York, Harvard S] Deborah Hughes-Hallett, William

Source URL: www.ams.org

Property-based testing, race conditions, and QuickCheck John Hughes QuickCheck in a Nutshell

Source URL: www.cse.chalmers.se

A Suggestive Interface for 3D Drawing Takeo Igarashi John F. Hughes Computer Science Department, Brown University

Source URL: www-ui.is.s.u-tokyo.ac.jp

• Software
• User interface techniques
• Humancomputer interaction
• Graphical user interfaces
• User interfaces
• Virtual reality
• User interface
• Interaction technique
• Computer graphics
• WIMP
• Archy
• Cursor

John Wilkinson, Associate Chair for Creative Writing and Poetics at the University of Chicago, gave the following introduction to Hughes’s Seminary Co-op Bookstore reading on April 15, 2015. —— It was in April 2011

Source URL: www.orgs.miamioh.edu

Lazy Memo-functions John Hughes Programming Methodology Group Department of Computer Science Chalmers University of Technology SG~teborg, Sweden

Source URL: www.cse.chalmers.se

• Software engineering
• Computer programming
• Declarative programming
• Lambda calculus
• Functional programming
• Functional languages
• Subroutines
• Theoretical computer science
• Eval
• Lazy evaluation
• Lisp
• Anonymous function